induction proof for subsets